#ifndef __DEBUG_H__
#define __DEBUG_H__

#include <isr.h>

void debug_init(void);

void debug_kernelpanic(uint_32 index, uint_32 error_code, task_state *st);
void debug_kernelpanic_custom(char* msg);

#endif
